1. Design and implementation of symbolic computation systems : International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20-, 1996 : proceedings
پدیدآورنده : Jacques Calmet, Carla Limongelli, eds
کتابخانه: (طهران)
موضوع : System design - Congresses , Automatic theorem proving - Congresses , Mathematics - Data processing - Congresses
رده :
QA
76
.
9
.
S88
I576
1996
2. Mechanical theorem proving in geometries :
پدیدآورنده : by Wen-tsün Wu.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving.,Geometry -- Data processing.,Mathematics.
رده :
QA448
.
D38
B994
1994
3. The computer modelling of mathematical reasoning /
پدیدآورنده : Alan Bundy, Department of Artificial Intelligence, Edinburgh.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving.,Logic, Symbolic and mathematical.,Mathematics-- Data processing.,Intelligence artificielle.,Anwendung,ARTIFICIAL INTELLIGENCE.,Automatic theorem proving.,Automatisches Beweisverfahren,Computersimulaties.,Inteligencia Artificial (Computacao),Künstliche Intelligenz,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Mathematics-- Data processing.,Mathematik,Mathematik.,Mathématiques-- Informatique.,Redeneren.,THEOREM PROVING.,Théorèmes-- Démonstration automatique.,Wiskunde.
رده :
QA76
.
95
.
B86
1983
4. The computer modelling of mathematical reasoning
پدیدآورنده : Bundy, Alan
کتابخانه: (طهران)
موضوع : Data processing ، Mathematics,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
5. The computer modelling of mathematical reasoning
پدیدآورنده : Bundy, Alan., Alan Bundy
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Mathematics- Data processing,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
6. The computer modelling of mathematical reasoning
پدیدآورنده : Bundy, Alan.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Mathematics - Data processing,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
1983
7. Using sophisticated models in resolution theorem proving
پدیدآورنده : Sandford, David M.
کتابخانه: (طهران)
موضوع : ، Automatic theorem proving,Data processing ، Mathematics
رده :
QA
76
.
L28
Vol
.
90
8. Using sophisticated models in resolution theorem proving
پدیدآورنده : Sandford, David M.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Automatic theorem proving,Data processing ، Mathematics
رده :
QA
76
.
9
.
A96
.
S36
1980
9. Using sophisticated models in resolution theorem proving
پدیدآورنده : Sandford, David M.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Automatic theorem proving,، Mathematics - Data processing
رده :
QA
76
.
L4
v
.
90
